well-ordered sets - German English Dictionary